Publikationen

(2009). Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. FMOODS/FORTE. Springer.

(2010). Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers. Formal Aspects in Security and Trust. Springer.

(2006). CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings. CONCUR. Springer.

(2006). Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program. Research Results of the DICS Program. Springer.

(2005). Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 27-29 July 2005, Cambridge, MA, USA. NCA. IEEE Computer Society.

(2005). Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers. TGC. Springer.

(2004). CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings. CONCUR. Springer.

(2005). Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers. Global Computing. Springer.

(2003). Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings. FMOODS. Springer.

(2003). Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings. ASIAN. Springer.

(2003). CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings. CONCUR. Springer.

(2002). Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings. AMAST. Springer.

(2002). Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands. FMOODS. Kluwer.

(2000). Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings. IFIP TCS. Springer.

(1999). Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings. ECOOP Workshops. Springer.

(1999). Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999, Proceedings. Euro-Par. Springer.

(1999). Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999. FBT. Herbert Utz Verlag.

(1996). CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings. CONCUR. Springer.

Luca Aceto and Jos C. M. Baeten and Wan Fokkink and Anna Ingólfsdóttir and Uwe Nestmann (2009). Preface. J. Log. Algebr. Program.

Aceto, Luca and Baeten, Jos CM and Fokkink, Wan and Ingolfsdottir, Anna and Nestmann, Uwe (2008). Applying Concurrency Research in Industry Report on a Strategic Workshop. Bulletin of the EATCS, 113–129.

Adameit, Manuel and Peters, Kirstin and Nestmann, Uwe (2016). Session Types for Link Failures (Technical Report). arXiv preprint arXiv:1607.07286

Adameit, Manuel and Peters, Kirstin and Nestmann, Uwe (2017). Session Types for Link Failures.

Arbach, Youssef and Peters, Kirstin and Nestmann, Uwe (2013). Adding Priority to Event Structures. EXPRESS/SOS, 17-31.

Arbach, Youssef and Karcher, David and Peters, Kirstin and Nestmann, Uwe (2015). Dynamic Causality in Event Structures (Technical Report). CoRR

Arbach, Youssef and Karcher, David and Peters, Kirstin and Nestmann, Uwe (2015). Dynamic Causality in Event Structures. FORTE. Springer, 83-97.

Benjamin Bisping and Uwe Nestmann (2019). Computing Coupled Similarity. Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS2019, 244–261.

Bisping, Benjamin and Brodmann, Paul-David and Jungnickel, Tim and Rickmann, Christina and Seidler, Henning and Stüber, Anke and Wilhelm-Weidner, Arno and Peters, Kirstin and Nestmann, Uwe (2016). A Constructive Proof for FLP. Archive of Formal Proofs

Bisping, Benjamin and Brodmann, Paul-David and Jungnickel, Tim and Rickmann, Christina and Seidler, Henning and Stüber, Anke and Wilhelm-Weidner, Arno and Peters, Kirstin and Nestmann, Uwe (2016). Mechanical Verification of a Constructive Proof for FLP. International Conference on Interactive Theorem Proving. Springer, 107–122.

Johannes Borgström and Uwe Nestmann (2005). On bisimulations for the spi calculus. Mathematical Structures in Computer Science, 487-552.

Johannes Borgström and Sébastien Briais and Uwe Nestmann (2004). Symbolic Bisimulation in the Spi Calculus. CONCUR, 161-176.

Johannes Borgström and Uwe Nestmann and Luc Onana Alima and Dilian Gurov (2004). Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. Global Computing, 250-265.

Johannes Borgström and Uwe Nestmann (2002). On Bisimulations for the Spi Calculus. AMAST, 287-303.

Sébastien Briais and Uwe Nestmann (2007). Open bisimulation, revisited. Theor. Comput. Sci., 236-271.

Sébastien Briais and Uwe Nestmann (2007). A formal semantics for protocol narrations. Theor. Comput. Sci., 484-511.

Sébastien Briais and Uwe Nestmann (2006). Open Bisimulation, Revisited. Electr. Notes Theor. Comput. Sci., 109-123.

Sébastien Briais and Uwe Nestmann (2005). A Formal Semantics for Protocol Narrations. TGC, 163-181.

Sébastien Briais and Uwe Nestmann (2002). Mobile Objects "Must" Move Safely. FMOODS, 129-146.

Daniel C. Bünzli and Rachele Fuzzati and Sergio Mena and Uwe Nestmann and Olivier Rütti and André Schiper and Pawel T. Wojciechowski (2006). Advances in the Design and Implementation of Group Communication Middleware. Research Results of the DICS Program, 172-194.

Daniel C. Bünzli and Sergio Mena and Uwe Nestmann (2005). Protocol Composition Frameworks A Header-Driven Model. NCA, 243-246.

Flavio Corradini and Uwe Nestmann (2005). EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003). Theor. Comput. Sci., 375-376.

Flavio Corradini and Uwe Nestmann (2004). Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. Electr. Notes Theor. Comput. Sci., 1-3.

Florian Eilers and Uwe Nestmann (2009). Deriving Trust from Experience. Formal Aspects in Security and Trust, 36-50.

Rachele Fuzzati and Massimo Merro and Uwe Nestmann (2007). Distributed Consensus, revisited. Acta Inf., 377-425.

Rachele Fuzzati and Uwe Nestmann (2006). Much Ado About Nothing?. Electr. Notes Theor. Comput. Sci., 167-171.

Gebler, Daniel and Peters, Kirstin (2016). Proceedings of the Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics.

Goltz, Ursula and Nestmann, Uwe and Peters, Kirstin and Schicke, Jens-Wolfhard (2010). Synchronous and Asynchronous Interaction in Distributed Systems.

Gorla, Daniele and Nestmann, Uwe (2014). Full abstraction for expressiveness: history, myths and facts. Mathematical Structures in Computer Science, 1-16.

Gorla, Daniele and Nestmann, Uwe (2016). Full abstraction for expressiveness: History, myths and facts. Mathematical Structures in Computer Science, 639–654.

Hatzel, Meike and Wagner, Christoph and Peters, Kirstin and Nestmann, Uwe (2015). Encoding CSP into CCS. EXPRESS/SOS, 61-75.

Hatzel, Meike and Wagner, Christoph and Peters, Kirstin and Nestmann, Uwe (2015). Encoding CSP into CCS (Extended Version). CoRR